Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
551	Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:51:50 Functional languages Theoretical computer science Technology Bluespec Inc. Arvind Atom Lennart Augustsson Formal methods James Hoe Computing Year of birth missing Software engineering
552	FOUR DARK CORNERS OF REQUIREMENTS ENGINEERING Pamela Zave Michael Jackson Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-23 14:00:54 Software engineering Software requirements Requirement Software development process Actor model ALGOL 68 Software development Computing Formal methods
553	1 Collection Development Expenditures Summary State expenditures in FY14 amounted to $6,352,299. Expenditures from local funds were $1,680,603. Total materials expenditures were $8,032,902, a 8.2% increase from the prev Add to Reading List Source URL: assessment.library.virginia.edu Language: English - Date: 2014-08-08 15:46:01 Software engineering Software requirements Requirement Software development process Actor model ALGOL 68 Software development Computing Formal methods
554	Year-one progress report for a Joint Hurricane Testbed Project: Development of a unified dropsonde quality assurance and visualization capability Principal Investigators: Michael L. Black, NOAA/AOML Hurricane Research Di Add to Reading List Source URL: www.nhc.noaa.gov Language: English - Date: 2010-08-10 10:46:21 Methodology Software engineering Dropsonde JIRA Software framework Software release life cycle Qt Software Formal methods Software development process
555	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Hoare logic Frama-C Formal methods Lambert W function Program logic Predicate transformer semantics Software
556	Three Case Studies on Initiating Product Lines: Enablers and Obstacles Andreas Birk sd&m AG, Industriestraße 5, DStuttgart, Germany, e-mail: Abstract This position paper contains three case re Add to Reading List Source URL: www.plees.info Language: English - Date: 2003-05-28 19:50:37 Software development Software project management Software engineering Formal methods Methodology Product family engineering Requirement Project manager AVI-SPL Management Project management Business
557	The World and the Machine Michael Jackson MAJ Consulting Ltd 101 Hamilton Terrace London NW8 9QX England Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-06-11 05:33:22 Software Software requirements Formal methods Software engineering Enterprise modelling Requirement Software development process Software design Mind Software development Systems engineering Science
558	Fritz Obermeyer, Inference Engineer http://fritzo.org Add to Reading List Source URL: fritzo.org Language: English - Date: 2015-01-13 11:15:54 Science Formal methods Automated theorem proving Reasoning Statistical inference Bayesian network Inference Bayesian inference Statistical classification Statistics Logic Bayesian statistics
559	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods
560	The Z/EVES Reference Manual (for Version 1.5) TR03d Irwin Meisels and Mark Saaltink Release date: December 1995 Latest revision date: September 1997 Add to Reading List Source URL: www.oracanada.com Language: English - Date: 2009-03-31 21:35:27 Oxford University Computing Laboratory Z notation Formal methods Model theory Functions and mappings First-order logic Function S Lambda calculus Mathematical logic Mathematics Logic

UPDATE